Higher order infinitesimal freeness
نویسندگان
چکیده
منابع مشابه
Higher order infinitesimal bending of a class of toroids
In this paper we consider higher order infinitesimal bending of a surface in E3. Sufficient condition for a toroid generated by polygonal meridian to be non-rigid of higher order is given. This work is an extension of the results [1]-[7]. Examples of non-rigid surfaces, with visual presentation of infinitesimal bending are given. AMS Subj. Class.: 53A05, 53C45, 68U05
متن کاملInfinitesimal cubical structure, and higher connections
The purpose of the present note is to experiment with a possible framework for the theory of “higher connections”, as have recently become expedient in string theory; however, our work was not so much to find a framework which fits any existing such theory, but rather to find notions which come most naturally of their own accord. The approach is based on the combinatorics of the “first neighbou...
متن کاملFurther Remarks on First-order Infinitesimal Mechanisms
This paper analyses a particular structural assembly that has two independent inextensional mechanisms and two independent states of self-stress. It is shown that, for certain values of a variable bar length, this assembly is a first-order infinitesimal mechanism; and yet it cannot be stiffened by the imposition of a state of prestress.
متن کاملHigher-Order Order-Sorted Resolution
The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...
متن کاملHigher-Order Aspects in Order
In aspect-oriented programming languages, advice evaluation is usually considered as part of the base program evaluation. This is also the case for certain pointcuts, such as if pointcuts in AspectJ, or simply all pointcuts in higher-order aspect languages like AspectScheme. While viewing pointcuts and advice as base level computation clearly distinguishes AOP from reflection, it also comes at ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indiana University Mathematics Journal
سال: 2012
ISSN: 0022-2518
DOI: 10.1512/iumj.2012.61.4497